9 results for Edmund M Clarke
-
Anchor for 1 page of results
-
$5.22off
-
-
-
-
Computer-Aided Verification '90
Hardback
Published 30 Jun 1991 -
Model Checking
Hardback
Published 04 Feb 2000 -
Cases on Common Law Pleading, S...
Paperback
Published 05 Mar 2019 -
Logic for Programming, Artifici...
Paperback
Published 04 Jan 2011 -
Handbook of Model Checking
Paperback
Published 14 Nov 2020